"good" as a predicate of worlds

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

translating allusive devices:a survey of a portrait of the artist as a young man by james joyce

تلمیح یکی از عناصری است که تقریباً در همه ی متون ادبی یافت و باعث ایجاد شکاف های فرهنگی می شود. در این تحقیق به عنوان شکلی از بینامتنیت در ترجمه مورد توجه قرار می گیرد. تلاش شده است تا راهکارهای مترجمان برای ترجمه چهار نوع اسامی خاص و عبارات کلیدی تلمیحی (مذهبی، سیاسی، تاریخی و اسطوره ای) موجود در رمانِ چهره مرد هنرمند در جوانی به فارسی بررسی شود. این تحقیق مقایسه ای بر اساس راهکارهای ترجمه تلمیح...

15 صفحه اول

Classicality as a Property of Predicate Symbols

Yet another approach to looking into the space between intuitionistic and classical logics is to view classicality as a property of individual predicate symbols. Let us call predicate symbol P classical (or decidable) if all P(a1,...,an) are decidable, i.e. P(a1,...,an)∨¬P(a1,...,an) holds for any choice of a1,...,an. Consider extensions of intuitionistic logic defined by sets of classical pred...

متن کامل

Predicate-Tree Based Pretty Good Privacy of Data

Growth of Internet has led to exponential rise in data communication over the World Wide Web. Several applications and entities such as online banking transactions, stock trading, e-commerce Web sites, etc. are at a constant risk of eavesdropping and hacking. Hence, security of data is of prime concern. Recently, vertical data have gained lot of focus because of their significant performance be...

متن کامل

Predicate Transformation as a Proof Strategy

A verification strategy implementing precondition generation is presented. It automatically constructs a weak precondition for the statements of a Java subset. The strategy uses the rules of an underlying Hoare logic.

متن کامل

Smell Decline as a good Predictor of Sinonasal Polyposis Recurrence after Endoscopic Surgery

Introduction: To evaluate the most sensitive symptom to predict early recurrence of nasal polyposis. Prospective longitudinal cohort study. Tertiary university referral center with accredited otorhinolaryngology residency programs.  Materials and Methods: In this prospective study, we evaluated 62 patients with diffuse nasal polyposis. All patients underwent functional endoscopic sinus surgery...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ZAS Papers in Linguistics

سال: 2018

ISSN: 1435-9588

DOI: 10.21248/zaspil.61.2018.504